// Copyright (c) 2024, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart=3.6

abstract class B1 {
  late final int? property6;
}

abstract class B2 implements B1 {
  void set property6(int i); // error
}
